$\forall$${\it es}$:event\_system\{i:l\}, $e$:es{-}E(${\it es}$).
\\[0ex]sqequal(can{-}apply(es{-}pred?(${\it es}$); $e$); ($\neg_{b}$es{-}first(${\it es}$; $e$)))